大型稀疏线性代数迭代库在YH 机上的高效实现

本文讨论了大型稀疏线性代数方程组的迭代算法、加速方法、存贮技术及并行算法。结合向量机特点,采取有效程序优化措施,开发研制了标量和向量库程序。在ＹＨ系列机上试算结果表明：大型稀疏线性代数向量迭代库比标量迭代库速度有较大提高。当Ｎ≥１００时,在ＹＨ─１机上加速比约２～８;在ＹＨ─２机上约２～７;当迭代次数增加时,加速比提高更明显;库中共轭梯度（ＣＧ）加速方法能有效地加快收敛,可减少迭代次数一半以上。     

天平模型中的二坏元问题

给出了坏元问题的一般定义,引进了有关概念,叙述了搜索方案最优性的五个等级。重点对双试验下的二坏元问题中天平模型作了研究,证明了一系列引理与定理,提出了一个搜索方案,证明了它是依测度最优的。文章最后指出该方案不是一致最优的,并猜测信息论最优的搜索方案是存在的。     

复Banach空间的凸性及 Hp 鞅

本文系统地讨论了复Ｂａｎａｃｈ空间的各种凸性,以及取值于复Ｂａｎａｃｈ空间的Ｈｐ鞅,得到了关于凸性及Ｈｐ鞅之间的各种等价性命题。     

用逆滤波基音同步分析提取声门波的方法

根据语音研究的要求,提出一种运用逆滤波基音同步分析提取声门波的方法,此方法可以比较准确地提取声门波。文中讨论了这种方法的原理、实现及其结果。     

半径突变多模圆锥馈源的分析和设计

报道了一种８毫米波段半径突变的高效率多模圆锥馈源,计算出其模比并推导出其辐射方向图公式,给出了它在两个主平面－Ｅ面和Ｈ面上的辐射方向图的理论计算结果和测试结果,以及频带和旁瓣特性。分析和测试结果表明,在３４．１～３５．５ＧＨｚ频带内该多模馈源的辐射方向图在大于－２３ｄＢ范围内不出现旁瓣,在大于－１３ｄＢ范围内幅度等化良好。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

高性能多处理机系统总线设计技术

本文以银河仿真Ⅱ型计算机为背景,论述面向多处理机的高性能总线的体系结构、总线特点、总线数据传输、多处理机通信等总线设计技术。     

关于稳定 p 型 Banach 空间中有界 Borel测度的一个定理

本文推广了Ｅ．Ｄｅｔｔｗｅｉｌｅｒ［１］关于ｐ型Ｂａｎａｃｈ空间的结论,得到了在稳定ｐ型Ｂａｎａｃｈ空间上,有界Ｂｏｒｅｌ测度为某个无穷可分ｐ稳定测度的Ｌｅｖｙ测度的一个充分条件。     

计算流体动力学在液体火箭发动机中的应用

对计算流体动力学（ＣＦＤ）在液体火箭发动机中的应用情况进行了全面的回顾与分析,提出了今后的发展趋势与方向。     

一种通用有效的神经网络映射算法

首先分析了神经网络映射的本质,神经网络拓扑结构和神经计算过程,在充分考虑负载均衡与通讯开销的基础上,引入了时间步的思想,提出了一种通用有效的神经网络映射算法,最后给出的对多种拓扑结构的神经网络的测试结果证明了该算法的通用性和有效性。